c3477d45cf97c6806e0c0ce2d95524eb85a2bb5a,workbench/source/jetbrains/mps/ide/ui/MPSTreeNode.java,MPSTreeNode,keyPressed,#KeyEvent#,130
Before Change
}
public void keyPressed(final KeyEvent keyEvent) {
if (!(keyEvent.isAltDown() && (
(!SystemInfo.isMac && keyEvent.getKeyCode() == KeyEvent.VK_INSERT) ||
(SystemInfo.isMac && keyEvent.getKeyCode() == KeyEvent.VK_HELP)))) return;
After Change
}
public void keyPressed(final KeyEvent keyEvent) {
boolean altDown = keyEvent.isAltDown();
boolean ctrlDown = keyEvent.isControlDown();
boolean insert = keyEvent.getKeyCode() == KeyEvent.VK_INSERT;
boolean n = keyEvent.getKeyCode() == KeyEvent.VK_N;